print "Generating semantic unit-test for $ARGV[0] with name $ARGV[0].result\n";
open(BATCH_HANDLE,"> tmp.bat");
print(BATCH_HANDLE "\"../Debug/dse.exe\" c_pool APP INIT $ARGV[0] > ");
print(BATCH_HANDLE "$ARGV[0]");
print(BATCH_HANDLE ".result");
close(BATCH_HANDLE);
@ARGUMENTS=("cmd.exe","/C", "tmp.bat");
system(@ARGUMENTS) == 0 or die "Failed to execute temporary batch";